- intensional representation
- интенсиональное представление
English-Russian dictionary of computer science and programming. 2013.
English-Russian dictionary of computer science and programming. 2013.
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium
Intuitionistic type theory — Intuitionistic type theory, or constructive type theory, or Martin Löf type theory or just Type Theory is a logical system and a set theory based on the principles of mathematical constructivism. Intuitionistic type theory was introduced by Per… … Wikipedia
logic, philosophy of — Philosophical study of the nature and scope of logic. Examples of questions raised in the philosophy of logic are: In virtue of what features of reality are the laws of logic true? ; How do we know the truths of logic? ; and Could the laws of… … Universalium
Modal logic — is a type of formal logic that extends classical propositional and predicate logic to include operators expressing modality. Modals words that express modalities qualify a statement. For example, the statement John is happy might be qualified by… … Wikipedia
Musical form — Thought form of the Music of Gounod, according to Annie Besant and C.W. Leadbeater in Thought Forms (1901) The term musical form refers to the overall structure or plan of a piece of music … Wikipedia
List of philosophy topics (I-Q) — II and thou I Ching I Ching I proposition I Thou I Thou relationshipIaIamblichus (philosopher)IbYahya Ibn Adi Yahya Ibn Adi Ibn al Arabi Muhyi al Din Ibn al Arabi Abu Bakr Ibn Bajja Abu Bakr Ibn Bājja Abu Bakr Muhammad Ibn Yahya Ibn as Say igh… … Wikipedia
analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… … Universalium
Minimalist program — Linguistics … Wikipedia
Donkey pronoun — Pronom donkey Un pronom donkey (anglais : donkey pronoun, littéralement pronom d âne) est un pronom lié sémantiquement, mais non syntaxiquement.[1],[2] Certains auteurs préfèrent le terme d « anaphore donkey », car ce sont les… … Wikipédia en Français
Pronom d'âne — Pronom donkey Un pronom donkey (anglais : donkey pronoun, littéralement pronom d âne) est un pronom lié sémantiquement, mais non syntaxiquement.[1],[2] Certains auteurs préfèrent le terme d « anaphore donkey », car ce sont les… … Wikipédia en Français
Pronom donkey — Un pronom donkey (anglais : donkey pronoun, littéralement « pronom d âne ») est un pronom lié sémantiquement, mais non syntaxiquement[1],[2]. Certains auteurs préfèrent le terme d « anaphore donkey », car ce sont les… … Wikipédia en Français